it became known that... - Spanish English Dictionary